Every Sequence has a Convergent Subsequence